公设

gōngshè

[postulate] [逻辑或数学中] 公认为真、 因而无需证明其为正确的陈述